Buy Used and New Tomáš Vojnar Books

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... 11427 (Lecture Notes in Computer Science)

by Tomáš Vojnar,Lijun Zhang

ISBN 13: 9783030174613

Format: Paperback (460 pages)
Publisher: Springer
Published: 06 Jun 2019

Save for later